A Note on Church-Turing Thesis for the Foundation of Computation Course

نویسنده

Chung-Chih Li

چکیده

One of the most astonishing achievements in the 20th century is the invention of computers. The highest honor for a computer scientist who has made significant contributions to the field is to receive the Turing Award, which is recognized as the Nobel Prize in computer science. The award is named after Alan Turing in order to honor him for his tremendous contributions in the field of computer science ranged from Artificial Intelligence, Cryptography, to the foundation of computer science.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Brief Note on Church-Turing Thesis and R.E. Sets

People who believe in the Enhanced Church-Turing Thesis assume that the origin of every formalism for computable functions must be some sort of informal notions. Since all formalisms we ever have turn out to be equivalent, it must be the case that their origins are also equivalent. I hardly find myself at a position to believe in this, since I do not see sufficient reasons to further believe th...

متن کامل

Hypercomputation and the Physical Church-Turing Thesis

A version of the Church-Turing Thesis states that every effectively realizable physical system can be defined by Turing Machines (‘Thesis P’); in this formulation the Thesis appears an empirical, more than a logico-mathematical, proposition. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal...

متن کامل

The Church-Turing Thesis and Timed Computations (Draft)

But let’s begin at the beginning ... The Church-Turing Thesis [2, 5] is one of the most famous and fundamental conjectures of the whole of computing theory. Its precise meaning and epistemological status are controversial but its validity is rarely doubted. To simplify matters, we shall avoid the problem of Church’s and Turing’s original intentions. We are interested in computation, or rather t...

متن کامل

The Church-Turing Thesis: Breaking the Myth

According to the interactive view of computation, communication happens during the computation, not before or after it. This approach, distinct from concurrency theory and the theory of computation, represents a paradigm shift that changes our understanding of what is computation and how it is modeled. Interaction machines extend Turing machines with interaction to capture the behavior of concu...

متن کامل